21. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
22. <An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
23. An inductive logic programming approach to statistical relational learning
پدیدآورنده : / Kristian Kersting
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
رده :
QA76
.
63
.
K47
2006
24. An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: (طهران)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
25. An introduction to machine learning /
پدیدآورنده : Miroslav Kubat.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
26. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
27. Answer set solving in practice /
پدیدآورنده : Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
28. Application of artificial intelligence in process control :
پدیدآورنده : L Boullart
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : artificial intelligence,process control
رده :
TS156
.
8
L368
1992
29. Applications and Science in Soft Computing
پدیدآورنده : edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Decision making.,Operations research.
30. Applications of declarative programming and knowledge management :
پدیدآورنده : Salvador Abreu, Dietmar Seipel (Eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming, Congresses,Knowledge management, Congresses
رده :
QA76
.
615
.
I58
2011
31. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
32. Approche logique de lintelligence artificielle
پدیدآورنده : Par Andre Thayse... ]et al.[
کتابخانه: (طهران)
موضوع : Artificial intelligence , Logic programming
رده :
Q
335
.
A675
33. Artificial Intelligence:
پدیدآورنده : edited by Christoph Bussler, Dieter Fensel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Information systems.
34. Artificial Intelligence in Higher Education :
پدیدآورنده : by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
7
B985
1990
35. Artificial intelligence :
پدیدآورنده : George F. Luger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
رده :
Q335
.
L84
2009
36. Artificial intelligence applications and innovations :
پدیدآورنده : John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
37. Artificial intelligence applications in chemistry :
پدیدآورنده : Thomas H. Pierce, Bruce A. Hohne, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
رده :
QD39
.
3
.
E46
A78
1986
38. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
39. Artificial intelligence in simulation
پدیدآورنده : FUTO,IVAN
کتابخانه: (طهران)
موضوع : ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
40. Artificial intelligence techniques :
پدیدآورنده : Alan Bundy, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
